Issue2243.agda:9,1-12
Unreachable clause
when checking the definition of f

———— All done; warnings encountered ————————————————————————

Issue2243.agda:9,1-12
Unreachable clause
when checking the definition of f
